- Antezedens-Konsequenz-Regeln
- Antezedens-Konsequenz-Regeln fpl IT antecedent-consequent rules pl
Deutsch-Englisch Wörterbuch Engineering. 2013.
Antezedens-Konsequenz-Regeln
Look at other dictionaries:
Sequenzenkalkül — In der Beweistheorie und der mathematischen Logik bezeichnet man mit Sequenzenkalkül eine Familie formaler Systeme (oder Kalküle), die einen bestimmten Stil der Ableitung und gewisse Eigenschaften teilen. Die ersten Sequenzenkalküle, LK für die… … Deutsch Wikipedia
